Succinct With